BZOJ4657 Tower <最小割>

Problem

Tower

Description

最近在玩一款很好玩的游戏，游戏规则是这样的：
有一个的地图，地图上的每一个位置要么是空地，要么是炮塔，要么是一些狗，需要操纵炮塔攻击狗们。
攻击方法是：对于每个炮塔，游戏系统已经给出它可以瞄准的方向（上下左右其中一个），需要选择它的攻击位置，每一个炮塔只能够攻击一个位置，炮塔只能够向着它的瞄准方向上的某个位置发动攻击，当然炮塔也可以不进行攻击。炮塔威力强大，它可以且仅可以消灭目标位置上所有的狗。
出于安全考虑，游戏系统已经保证不存在一个炮塔能够瞄准另外一个炮塔，即对于任意一个炮塔，它所有可能的攻击位置上不存在另外一个炮塔。而且，如果把炮塔的起点和终点称为炮弹的运行轨迹，那么系统不允许两条轨迹相交（包括起点和终点）。
现在，选定目标位置以后，每一个炮塔同时开炮，你要告诉，他最多可以干掉多少狗。

Input

第一行两个正整数，表示地图的规模。
接下来礼行，每行个整数，表示空地，分别表示瞄准上下左右的炮塔，若为正整数，则表示该位置有个狗。

Output

一个正整数，表示最多可以干掉几个狗

Sample Input

Sample Output

HINT

每个位置的狗数量不超过个
保证不存在任意一个炮塔能够瞄准另外一个炮塔

标签：最小割

Solution

经典最小割建模之一。

网格图可以拆成两个图，即所有行组成的图和所有列组成的图。这样原图中每个点变成两个，在行图上的称为行点，在列图上的称为列点。对于点，不妨设其行点为，列点为。

图上的向左或向右的炮将图分为若干横向的链，每个炮可以打到的区域都是一条链。在这个区域中，我们找出贡献最大的点，作为基础贡献，将此链上不所有同于的点的贡献变为。对于每条链，我们从左往右或从右往左串联，连边流量为点的新贡献，这样割掉这条边表示用这条链所对应的炮打的位置。如此，链被分为两段，从链首到为一段，从到链尾为另一段，符合割的定义。对于所有向上或向下的炮也如法炮制，只不过前者在行图上连，后者在列图上连。每个点的行点和列点间连流量为的边，代表无法割断。

重新整理一下建图：
对于点，若

- 连边流量为
- 对于其可以打到的链上的点，连边流量为，其中为此链上的最大值
- 连边流量为
- 对于其可以打到的链上的点，连边流量为，其中为此链上的最大值
，连边流量为

建模后跑最大流求最小割，答案为。

Code

#include <bits/stdc++.h>
#define MAX_N 5000
#define MAX_M 600000
#define INF 0x3f3f3f3f
using namespace std;
template <class T> inline void read(T &x) {
    x = 0; int c = getchar(), f = 1;
    for (; !isdigit(c); c = getchar()) if (c == 45) f = -1;
    for (; isdigit(c); c = getchar()) (x *= 10) += f*(c-'0');
}
int n, m, s, t, cnt, tot, mp[55][55];
int d[MAX_N+5], pr[MAX_N+5], cr[MAX_N+5];
struct node {int v, c, nxt;} E[MAX_M+5];
int pos(int x, int y, int id) {return n*m*(id-1)+(x-1)*m+y;}
void init() {s = 0, t = n*m*2+1, cnt = 0, memset(pr, -1, sizeof pr);}
void insert(int u, int v, int c) {E[cnt] = (node){v, c, pr[u]}, pr[u] = cnt++;}
void addedge(int u, int v, int c) {insert(u, v, c), insert(v, u, 0);}
bool BFS() {
    queue <int> que; que.push(s);
    memset(d, -1, sizeof d), d[s] = 0;
    while (!que.empty()) {
        int u = que.front(); que.pop();
        for (int i = pr[u]; ~i; i = E[i].nxt) {
            int v = E[i].v, c = E[i].c;
            if (~d[v] || !c) continue;
            d[v] = d[u]+1, que.push(v);
        }
    }
    return ~d[t];
}
int DFS(int u, int flow) {
    if (u == t) return flow; int ret = 0;
    for (int &i = pr[u]; ~i; i = E[i].nxt) {
        int v = E[i].v, c = E[i].c;
        if (d[u]+1 != d[v] || !c) continue;
        int tmp = DFS(v, min(flow, c));
        E[i].c -= tmp, E[i^1].c += tmp;
        flow -= tmp, ret += tmp;
        if (!flow) break;
    }
    if (!ret) d[u] = -1;	return ret;
}
void cpy() {for (int i = s; i <= t; i++) cr[i] = pr[i];}
void rec() {for (int i = s; i <= t; i++) pr[i] = cr[i];}
int Dinic() {int ret = 0; cpy(); while (BFS()) ret += DFS(s, INF), rec(); return ret;}
int main() {
    read(n), read(m), init();
    for (int i = 1; i <= n; i++) for (int j = 1; j <= m; j++) read(mp[i][j]);
    for (int i = 1; i <= n; i++)
        for (int j = 1, mx = 0; j <= m; j++, tot += mx, mx = 0)
            if (mp[i][j] == -1) {
                addedge(s, pos(i, j, 1), INF);
                for (int k = i; k >= 1; k--) mx = max(mx, max(mp[k][j], 0));
                for (int k = i; k > 1; k--)
                    addedge(pos(k, j, 1), pos(k-1, j, 1), mx-max(mp[k][j], 0));
            } else if (mp[i][j] == -2) {
                addedge(s, pos(i, j, 1), INF);
                for (int k = i; k <= n; k++) mx = max(mx, max(mp[k][j], 0));
                for (int k = i; k < n; k++)
                    addedge(pos(k, j, 1), pos(k+1, j, 1), mx-max(mp[k][j], 0));
            } else if (mp[i][j] == -3) {
                addedge(pos(i, j, 2), t, INF);
                for (int k = j; k >= 1; k--) mx = max(mx, max(mp[i][k], 0));
                for (int k = j; k > 1; k--)
                    addedge(pos(i, k-1, 2), pos(i, k, 2), mx-max(mp[i][k], 0));
            } else if (mp[i][j] == -4) {
                addedge(pos(i, j, 2), t, INF);
                for (int k = j; k <= m; k++) mx = max(mx, max(mp[i][k], 0));
                for (int k = j; k < m; k++)
                    addedge(pos(i, k+1, 2), pos(i, k, 2), mx-max(mp[i][k], 0));
            } else addedge(pos(i, j, 1), pos(i, j, 2), INF);
    return printf("%d\n", tot-Dinic()), 0;
}